Complete theory - PDFSEARCH.IO - Document Search Engine

Complete theory
Results: 1780

#	Item
471	Computing Science TACKLING THE PARTNER UNITS CONFIGURATION PROBLEM Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:58 Induced path Graph Matroid theory Graph coloring NP-complete problems Pseudoforest Graph theory Graph operations Path decomposition
472	Introduction Power Domination Network and Attack Models Structural Controllability under Vertex Removal Conclusions and Future Work Add to Reading List Source URL: www.critis2013.nl Language: English - Date: 2013-09-21 17:44:33 Control theory Graph theory NP-complete problems Controllability Dominating set Vertex Graph Network theory Network controllability Mathematics Theoretical computer science Applied mathematics
473	cccg-cluster_visibility-2.dvi Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:19 NP-complete problems Art gallery problem Steiner tree problem Vertex Connectivity Pseudotriangle Tree Graph Dominating set Graph theory Mathematics Theoretical computer science
474	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number ? Michael Fellows1,2 and Frances Rosamond1 Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-08-06 03:12:58 NP-complete problems Analysis of algorithms Parameterized complexity Kernelization Bidimensionality Dominating set Tree decomposition Path decomposition Feedback vertex set Theoretical computer science Computational complexity theory Graph theory
475	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On Rolling Cube Puzzles Kevin Buchin∗ Maike Buchin∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:27:49 Graph Path Graph operations Implicit graph Line graph Graph theory NP-complete problems Hamiltonian path
476	Research Statement Darren Strash Institute of Theoretical Informatics Karlsruhe Institute of Technology January 12, 2015 Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2015-01-12 15:52:14 NP-complete problems Algorithm Mathematical logic Graph theory Computational geometry Graph coloring Combinatorics Distributed computing Kurt Mehlhorn Theoretical computer science Mathematics Applied mathematics
477	CS 373 Final Exam (December 15, 2000) Fall 2000 Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:48:10 Complexity classes NP-complete problems Mathematical optimization NP-hard Time complexity NP Independent set P versus NP problem Clique Theoretical computer science Computational complexity theory Applied mathematics
478	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
479	CCCG 2011, Toronto ON, August 10–12, 2011 Euclidean Movement Minimization Nima Anari∗ MohammadAmin Fazli† Add to Reading List Source URL: 2011.cccg.ca Language: English - Date: 2011-08-06 04:11:16 NP-complete problems Hamiltonian path Vertex cover Independent set Matching Minimum spanning tree Dominating set Graph coloring Theoretical computer science Graph theory Mathematics
480	CCCG 2010, Winnipeg MB, August 9–11, 2010 The traveling salesman problem for lines and rays in the plane Adrian Dumitrescu∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:19 Operations research NP-complete problems Computational complexity theory Travelling salesman problem Approximation algorithm Linear programming Algorithm Polygon Theoretical computer science Mathematics Applied mathematics

UPDATE